﻿A positive integer shall be greater than zero.